﻿U1 and U2 shall have different values.